$\forall$$r$,$s$:rationals. qle($r$; $s$) $\in$ prop\{i:l\}